Test-Driven Approach for Safety-Critical Software Development
نویسندگان
چکیده
منابع مشابه
Test-Driven Approach for Safety-Critical Software Development
Nowadays software control large majority of systems that humankind use. Systems that software is used widely, such as transportation, military, medicine and avionics must be safe during operation. Fail in these critical systems may cause catastrophic results (i.e. loss of human life, loss or severe damage to environment or equipment etc.). In order to avoid failure on safety critical systems or...
متن کاملTest-Linked Specification For Safety-Critical Software
The great difficulties that are encountered when reliability requirements for critical software have to be validated motivate an approach that facilitates testing for exceptional conditions that the software is expected to handle. It is shown that in several published studies, failures in previously tested critical programs occurred when rare events were encountered in the execution. Statement ...
متن کاملEmbedded Software Development For Safety Critical Systems
Title Type embedded software development for safety-critical systems PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF software engineering for embedded systems chapter 17 multicore software development for embedded systems this chapter draws on material from the multicore guide mpp from the multicore association PDF embedded systems ...
متن کاملCoding Regulations for Safety Critical Software Development
This paper presents some limits and irregularities in current standards for safety critical software development, and suggests ways to improve the state of the art. The need for well organized, rigorous and verifiable coding regulations to promote the development of software with predictable quality and safety characteristics is explained. We show specific examples of weaknesses in standards an...
متن کاملTechniques for Safety Critical Software Development
Although the dreams of artificial intelligence have not been realized (despite the recent success of IBM in chess), it is apparent that software control of machines is quickly permeating our lives in many ways – some seen, some hidden. NASA is clearly dependent on computers to fly the space shuttle or to run the planned space station. Many commercial and military aircraft alike require computer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software
سال: 2015
ISSN: 1796-217X
DOI: 10.17706//jsw.10.7.904-911